Free variables and bound variables - PDFSEARCH.IO - Document Search Engine

Free variables and bound variables
Results: 147

#	Item
131	Functional Pearl: I am not a Number—I am a Free Variable Conor McBride Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2010-09-28 13:09:54 Predicate logic Semantics Type theory Map De Bruijn index Free variables and bound variables Find Binding Closure Computing Software engineering Logic
132	Introduction to Lambda Calculus Henk Barendregt Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2010-04-12 10:42:50 Predicate logic Computability theory Formal methods Models of computation Combinatory logic Free variables and bound variables Function Variable First-order logic Mathematics Mathematical logic Lambda calculus
133	Jean-Louis Krivine LAMBDA-CALCULUS Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2013-07-01 11:36:37 Lambda calculus Logic in computer science Predicate logic Combinatory logic Type theory Fixed-point combinator Free variables and bound variables Curry–Howard correspondence System F Theoretical computer science Mathematics Mathematical logic
134	THE LAWS Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:32:41 Logic in computer science Models of computation Occam Denotational semantics Free variables and bound variables Guard Expression Variable Mathematics Software engineering Computing
135	Definitions, Uses and Varieties of 1. Uses Add to Reading List Source URL: www2.warwick.ac.uk Language: English - Date: 2011-11-09 15:36:24 Semantics Philosophical logic Definition Philosophy of language Meaning Stipulative definition Function Free variables and bound variables If and only if Logic Analytic philosophy Philosophy
136	A short introduction to the Lambda Calculus Achim Jung∗ March 18, 2004 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2010-05-11 14:13:42 Mathematical logic Combinatory logic Fixed-point combinator Simply typed lambda calculus Programming Computable Functions Free variables and bound variables Function Parameter Spectral theory of ordinary differential equations Mathematics Theoretical computer science Lambda calculus
137	PDF Document Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2002-09-05 11:33:14 Lambda calculus Logic programming Type theory Predicate logic ΛProlog Unification Free variables and bound variables Simply typed lambda calculus Higher-order abstract syntax Logic Theoretical computer science Mathematics
138	PDF Document Add to Reading List Source URL: www.logic.rwth-aachen.de Language: English - Date: 2007-04-25 06:19:51 Finite model theory Formal languages Computational complexity theory Descriptive complexity Model theory FO SO Free variables and bound variables Modal logic Logic Theoretical computer science Mathematical logic
139	PDF Document Add to Reading List Source URL: www.inf.fu-berlin.de Language: English - Date: 2003-11-17 07:42:52 Functions and mappings Computability theory Lambda calculus Models of computation Formal methods Combinatory logic Free variables and bound variables Function Calculus Mathematics Theoretical computer science Mathematical logic
140	PDF Document Add to Reading List Source URL: www.itu.dk Language: English - Date: 2009-09-24 03:48:29 Procedural programming languages Assignment ALGOL 68 Relational operator Free variables and bound variables Programming language ALGOL C Monad Software engineering Computing Computer programming

UPDATE